Jonathan P. Bowen (eds.): cercare sul sito Z-Library

Accesso libero alla conoscenza e alla cultura.

Don't use scam websites

Libri (21)
Più popolari
Lista
- Lista
- Tabella

1

Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Springer International Publishing

Jonathan P. Bowen, Huibiao Zhu (eds.)

Anno:

2017

Lingua:

english

File:

PDF, 6.03 MB

0 / 0

english, 2017

2

Transactions on Computational Science I

Transactions on Computational Science I

Springer-Verlag Berlin Heidelberg

Phan Cong Vinh, Jonathan P. Bowen (auth.), Marina L. Gavrilova, C. J. Kenneth Tan (eds.)

Anno:

2008

Lingua:

english

File:

PDF, 4.05 MB

0 / 0

english, 2008

3

Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers

Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Jan Tretmans (auth.), Robert M. Hierons, Jonathan P. Bowen, Mark Harman (eds.)

Anno:

2008

Lingua:

english

File:

PDF, 8.13 MB

0 / 0

english, 2008

4

Towards Verified Systems

Towards Verified Systems

Elsevier Science Ltd

Jonathan Bowen (Eds.)

Anno:

1994

Lingua:

english

File:

PDF, 5.06 MB

0 / 0

english, 1994

5

Industrial-strength formal methods in practice

Industrial-strength formal methods in practice

Michael G. Hinchey, Jonathan P. Bowen (eds.)

Anno:

1999

Lingua:

english

File:

DJVU, 3.63 MB

0 / 0

english, 1999

6

Transactions on Computational Science I

Transactions on Computational Science I

Springer-Verlag Berlin Heidelberg

Phan Cong Vinh, Jonathan P. Bowen (auth.), Marina L. Gavrilova, C. J. Kenneth Tan (eds.)

Anno:

2008

Lingua:

english

File:

PDF, 5.56 MB

0 / 0

english, 2008

7

Museums and Digital Culture: New Perspectives and Research

Museums and Digital Culture: New Perspectives and Research

Tula Giannini, Jonathan P. Bowen (eds.)

Anno:

2019

Lingua:

english

File:

PDF, 27.92 MB

0 / 0

english, 2019

8

Formal Methods: State of the Art and New Directions

Formal Methods: State of the Art and New Directions

Springer-Verlag London

Dines Bjørner (auth.), Paul Boca, Jonathan P. Bowen, Jawed Siddiqi (eds.)

Anno:

2010

Lingua:

english

File:

PDF, 3.23 MB

0 / 5.0

english, 2010

9

Electronic Visualisation in Arts and Culture

Electronic Visualisation in Arts and Culture

Springer-Verlag London

James Hemsley (auth.), Jonathan P. Bowen, Suzanne Keene, Kia Ng (eds.)

Anno:

2013

Lingua:

english

File:

PDF, 9.66 MB

0 / 0

english, 2013

10

Provably Correct Systems

Provably Correct Systems

Springer International Publishing

Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog (eds.)

Anno:

2017

Lingua:

english

File:

PDF, 9.41 MB

0 / 0

english, 2017

11

Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Springer International Publishing

Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.)

Anno:

2017

Lingua:

english

File:

PDF, 12.27 MB

0 / 0

english, 2017

12

ZB 2002:Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings

ZB 2002:Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Eric Hehner, Ioannis T. Kassios (auth.), Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson (eds.)

Anno:

2002

Lingua:

english

File:

PDF, 3.54 MB

0 / 0

english, 2002

13

Software Specification Methods: An Overview Using a Case Study

Software Specification Methods: An Overview Using a Case Study

Springer-Verlag London

Jonathan P. Bowen (auth.), Marc Frappier, Henri Habrias (eds.)

Anno:

2001

Lingua:

english

File:

PDF, 14.94 MB

0 / 0

english, 2001

14

ZUM ’98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings

ZUM ’98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Grimm (auth.), Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey (eds.)

Anno:

1998

Lingua:

english

File:

PDF, 10.95 MB

0 / 0

english, 1998

15

ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings

ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

David Lorge Parnas (auth.), Jonathan P. Bowen, Michael G. Hinchey (eds.)

Anno:

1995

Lingua:

english

File:

DJVU, 5.90 MB

0 / 0

english, 1995

16

Formal Methods: State of the Art and New Directions

Formal Methods: State of the Art and New Directions

Springer-Verlag London

Dines Bjørner (auth.), Paul Boca, Jonathan P. Bowen, Jawed Siddiqi (eds.)

Anno:

2010

Lingua:

english

File:

PDF, 3.04 MB

0 / 0

english, 2010

17

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Wolfram Büttner (auth.), Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca (eds.)

Anno:

2008

Lingua:

english

File:

PDF, 4.83 MB

0 / 0

english, 2008

18

Industrial-Strength Formal Methods in Practice

Industrial-Strength Formal Methods in Practice

Springer-Verlag London

Jonathan P. Bowen, Michael G. Hinchey (auth.), Michael G. Hinchey BSc, MSc, PhD, Jonathan P. Bowen BA, MA (eds.)

Anno:

1999

Lingua:

english

File:

PDF, 41.80 MB

0 / 0

english, 1999

19

ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings

ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Daniel Jackson (auth.), Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén (eds.)

Anno:

2003

Lingua:

english

File:

PDF, 4.31 MB

0 / 0

english, 2003

20

ZUM '97: The Z Formal Specification Notation: 10th International Conference of Z Users Reading, UK, April 3–4, 1997 Proceedings

ZUM '97: The Z Formal Specification Notation: 10th International Conference of Z Users Reading, UK, April 3–4, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Constance Heitmeyer (auth.), Jonathan P. Bowen, Michael G. Hinchey, David Till (eds.)

Anno:

1997

Lingua:

english

File:

DJVU, 3.78 MB

0 / 0

english, 1997

21

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Wolfram Büttner (auth.), Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca (eds.)

Anno:

2008

Lingua:

english

File:

PDF, 7.30 MB

0 / 0

english, 2008